Basic research - PDFSEARCH.IO - Document Search Engine

Basic research
Results: 2119

#	Item
661	BRICS Basic Research in Computer Science BRICS RS-03-5 Christensen et al.: Precise Analysis of String Expressions Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-02-07 05:37:32 Software engineering Context-free grammar Formal grammar Terminal and nonterminal symbols Regular grammar Production Regular expression Static single assignment form Parsing expression grammar Formal languages Combinatorics Mathematics
662	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
663	From Basic Research to Knowledge Society: the DREAM project Danube River REsearch And Management University of Natural Resources and Life Sciences Vienna, Add to Reading List Source URL: files.groupspaces.com Language: English Geography of Serbia International Commission for the Protection of the Danube River Via donau Vienna Habersack Flood River Danube Geography of Europe Water
664	BRICS Basic Research in Computer Science BRICS NS-00-8 Møller & Schwartzbach: The XML Revolution Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-06 08:26:48 Technical communication HTML XML ISO standards Standard Generalized Markup Language XHTML XLink XSLT Document Object Model Computing Markup languages Web standards
665	Fourth Annual NIRS – CSU – CU Joint Symposium Photon, Proton, and Carbon Ion Radiotherapy: Advances in Basic, Translational, and Clinical Research University of Colorado Anschutz Medical Campus – July 31 – August Add to Reading List Source URL: csu-cvmbs.colostate.edu Language: English - Date: 2014-07-30 16:59:42 Proton therapy Radiation therapy Particle therapy Medicine Radiation oncology Medical physics
666	Basic Structure of Ethics Governance of Biobank Ryuichi IDA Member, Council on Bioethics, Japan Medical Association Distinguished Visiting Professor, Doshisha university, Japan Expert Conference on the Revision of the De Add to Reading List Source URL: www.wma.net Language: English - Date: 2015-06-18 01:42:27 Biobanks Biology Research ethics Wellcome Trust Biobank Biobank ethics Human Genome Project Generation Scotland Biological databases Bioinformatics Science
667	BRICS Basic Research in Computer Science ˇ BRICS RSF. Capkoviˇ c: Modelling and Control of Discrete Event Dynamic Systems Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 11:01:48 Systems Ethology Knowledge Discrete event dynamic system Petri net Scientific modelling Dynamical system Systems theory Science Control theory Cybernetics
668	Microsoft Wordflyer for Basic CAS Workshop Add to Reading List Source URL: bma.org.uk Language: English - Date: 2015-02-20 12:04:43 Meta-analysis Systematic review Evaluation methods Medical research Nursing research British Medical Association Critical appraisal Evidence-based medicine Economic appraisal Science Medicine Health
669	BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-13 08:14:25 Logic in computer science Computability theory Formal methods Model checking Theory of computation Algorithm BRIC Halting problem Formal verification Theoretical computer science Applied mathematics Mathematics
670	BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-06 03:22:49 Applied mathematics Mathematical logic Order theory Logic in computer science Metalogic Model theory Equational logic Simulation preorder Preorder Mathematics Logic Theoretical computer science

UPDATE